System T
from
型付きラムダ計算
System T
単純型付きラムダ計算
の拡張
自然数型
と
高階原始再帰
を加えた